621. Programming languages and systems :12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings
Author: Pierpaolo Degano )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2618
622. Programming languages and systems : 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004 : proceedings
Author: David Schmidt )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
2986
623. Programming languages and systems : 14th European Symposium on Programming, ESOP 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings
Author: Mooly Sagiv )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
3444
624. Programming languages and systems : 8th European Symposium on Programming, ESOP'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings
Author: S. Doaites Swierstra )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1576
625. Programs as Data Objects :
Author: by Harald Ganzinger, Neil D. Jones.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
626. Progress in Cryptology - AFRICACRYPT 2019 :
Author: edited by Johannes Buchmann, Abderrahmane Nitaj, Tajjeeddine Rachidi.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Coding theory.,Computer Communication Networks.,Computer science.,Computer security.,Software engineering.,Coding theory.,Computer science.,Computer security.,Software engineering.
Classification :
QA76
.
9
.
A25
627. Progress in computing, analytics and networking :
Author: Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
Classification :
TK5105
.
5
628. Project Engineering :
Author: by Anastasia Pagnoni.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer communication networks.,Computer science.,Software engineering.
Classification :
TA194
.
B936
1990
629. Project e-society :
Author: edited by Reima Suomi [and others]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic commerce, Congresses.,Information society, Congresses.
630. Proof technology and computation /
Author: edited by Helmut Schwichtenberg and Katharina Spies.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
Classification :
QA76
.
9
.
A96
N38
2003eb
631. Provable security :
Author: Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
Classification :
QA76
.
9
.
A25
632. Public Key Cryptography ђ́أ PKC 2012
Author: edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
633. Qualitative GIS :
Author: [edited by] Meghan Cope, Sarah Elwood
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Geographic information systems
Classification :
G70
.
212
.
Q33
2009
634. Quality of Communication-Based Systems :
Author: edited by Günter Hommel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Mathematics.,Software engineering.
Classification :
QA76
.
9
.
A23
E358
1995
635. Quality of protection :
Author: edited by Dieter Gollmann, Fabio Massacci, Artsiom Yautsiukhin.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Quality control, Congresses.,Computer networks-- Standards, Congresses.,Computer security-- Quality control, Congresses.,Computer security-- Standards, Congresses.,Computer networks-- Quality control.,Computer networks-- Quality control.,Computer networks-- Standards.,Computer networks-- Standards.,Computer security-- Quality control.,Computer security-- Standards.,Computer security-- Standards.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,Informatique.
Classification :
QA76
.
9
.
A25
Q35
2006eb
636. Quantifiers in Action
Author: / by Antonio Badia
Library: Library of College of Science University of Tehran (Tehran)
Subject: Query languages (Computer science),Database management,a04,a06
Classification :
QA
76
.
76
.
C65
2009
637. Quantitative Evaluation of Computing and Communication Systems :
Author: edited by Heinz Beilner, Falko Bause.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Information theory.,Operating systems (Computers)
Classification :
QA76
.
9
.
E94
E358
1995
638. Quantitative measure for discrete event supervisory control /
Author: edited by Asok Ray, Vir V. Phoha, Shashi P. Phoha.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Discrete-time systems.,Supervisory control systems.,Discrete-time systems.,Informatique.,Supervisory control systems.,TECHNOLOGY & ENGINEERING-- Automation.,TECHNOLOGY & ENGINEERING-- Robotics.
Classification :
TJ222
.
Q36
2005
639. Reachability problems :
Author: Igor Potapov, Pierre-Alain Reynier (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
Classification :
QA76
.
76
.
V47
640. Realtime Data Minin
Author: / by Alexander Paprotny, Michael Thess
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer science,Computer software,Electronic books
Classification :
E-BOOK
